solvers/stdio1.h0